CORRESPONDENCE. RAILWAY SIGNALLING.

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Railway Signalling since the birth to ERTMS

Railway signalling can be defined as all systems used to control railway traffic safely, essentially to prevent trains from colliding. Over the years knoledgment and technology able to satisfy this issue have been implemented. After a long period during which each European nation used its own system (with the conseguent absence of interoperabilty among them), ERTMS/ETCS is currently the most co...

متن کامل

Failure Mode and Effect Analysis of Indian Railway Signalling System

Signalling, a complex system is one of the most important infrastructures of railway service. The performance of railway signalling system depends on the functioning of a number of subsystems, such as panel, cable, relay, point and point machine, trackcircuit, signal, back indication, point-drive card, signal-drive card, and level crossing gate. Railway signalling system plays an important role...

متن کامل

On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings

Railway signalling systems have received a great deal of attention from the formal methods community. One reason for this is that the domain is relatively accessible; another is that the safety analyses to be undertaken are often highly parallelizable. In this paper we describe a ‘cloud interface’ for the refinement checker, Failures Divergences Refinement (FDR), which has been motivated and va...

متن کامل

Adoption of Code Generation by a Railway Signalling Manufacturer

This dissertation is the result of a three years research experience at General Electric Transportation Systems (GETS), Intelligent Systems division of Florence. GETS is a well known railway signalling manufacturer that started practicing formal methods in 2002, with exploratory projects performed in collaboration with the Computer Engineering department (D.S.I. Dipartimento di Sistemi e Inform...

متن کامل

Automated Verification of Signalling Principles in Railway Interlocking Systems

In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Minutes of the Proceedings of the Institution of Civil Engineers

سال: 1901

ISSN: 1753-7843

DOI: 10.1680/imotp.1901.18831